Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.ukยท7hยท
Discuss: Hacker News
๐ŸProgramming
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.comยท19hยท
Discuss: Hacker News
๐ŸProgramming
Assembly_verify
philipzucker.comยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸProgramming
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.comยท19hยท
Discuss: Hacker News
๐ŸProgramming
Forget Prompt Engineering โ€” The Real Skill Is Specification Writing
hackernoon.comยท10h
๐ŸProgramming
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.comยท18hยท
Discuss: Hacker News
๐ŸProgramming
LL and LR Parsing Demystified (2013)
blog.reverberate.orgยท1dยท
Discuss: Lobsters, Hacker News
๐ŸProgramming
MCP C# SDK Gets Major Update: Support for Protocol Version 2025-06-18
devblogs.microsoft.comยท11hยท
Discuss: Hacker News
๐ŸProgramming
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.eduยท1dยท
Discuss: Hacker News
๐Ÿ‘จโ€๐ŸซTeaching
ฮœFork: A pure actor-based concurrent machine architecture with memory-safety an
ufork.orgยท8hยท
Discuss: Hacker News
๐ŸProgramming
Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log
writeaheadblogg.ingยท1dยท
Discuss: Lobsters, Hacker News
๐ŸProgramming
Vibecoding a High Performance System
andrewkchan.devยท12hยท
Discuss: Hacker News
๐ŸProgramming
LLMs must evolve from scaling to full orchestration
victorwynne.comยท15hยท
Discuss: Hacker News, r/LLM
๐ŸProgramming
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.netยท1dยท
Discuss: Lobsters, r/programming
๐ŸProgramming
Transformer Explainer: LLM Transformer Model Visually Explained
poloclub.github.ioยท1dยท
Discuss: Lobsters
๐Ÿ‘จโ€๐ŸซTeaching
Fine-Tuning in Sentence Transformers 3 โ€“ Aurelio AI
aurelio.aiยท3hยท
Discuss: Hacker News
๐Ÿ‘จโ€๐ŸซTeaching
ICML 2025 Outstanding Paper Awards
icml.ccยท2hยท
Discuss: Hacker News
๐Ÿง Chemistry
Monads as Graphs (2019)
neilmitchell.blogspot.comยท10hยท
Discuss: Lobsters, Hacker News
๐ŸProgramming
XSLT: A Precision Tool for the Future of Structured Transformation
xml.comยท1dยท
Discuss: Hacker News
๐ŸProgramming
RFC 1392: Internet Users' Glossary
rfc-editor.orgยท8hยท
Discuss: Hacker News
๐Ÿง Chemistry